# typed: true

case foo; in { a: 1 } then true; end
